Order of Magnitude Reasoning in Qualitative Differential Equations
نویسنده
چکیده
We present a theory that combines order of magnitude reasoning with envisionment of qualitative differential equations. Such a theory can be used to reason qualitatively about dynamical systems containing parameters of widely varying magnitudes. We present an a mathematical analysis of envisionment over orders of magnitude, including a complete categorization of adjacent pairs of qualitative states. We show how this theory can be applied to simple problems, we give an algorithm for generating a complete envisionment graph, and we discuss the implementation of this algorithm in a running program.
منابع مشابه
Using interval algebras to model order of magnitude reasoning
Complex physical systems are commonly described by sets of differential equations relating the behaviour of those key variables whose changes in value define the behaviour of the system as a whole. When solved these equations provide a model of the system which can be used to predict its behaviour under given circumstances. However, the solution of such sets of equations is often time-consuming...
متن کاملAnalytic Abduction from Qualitative Simulation
Many types of dynamic system can be modelled using ordinary differential equations . Recently, there has been much interest in the A.I . community in reasoning about adynamic system by reasoning from this underlying differential equation model. Current approaches fall on a spectrum ranging from numerical (Yip 87, Yip 88], interval [Berleant & Kuipers 88, Davis 87b] through qualitative [Forbus 8...
متن کاملFractional dynamical systems: A fresh view on the local qualitative theorems
The aim of this work is to describe the qualitative behavior of the solution set of a given system of fractional differential equations and limiting behavior of the dynamical system or flow defined by the system of fractional differential equations. In order to achieve this goal, it is first necessary to develop the local theory for fractional nonlinear systems. This is done by the extension of...
متن کاملNumerical Solution of fuzzy differential equations of nth-order by Adams-Moulton method
In recent years, Fuzzy differential equations are very useful indifferent sciences such as physics, chemistry, biology and economy. It should be noted, that if the equations that appear to be uncertain, then take help of fuzzy logic at these equations. Considering that most of the time analytic solution of such equations and finding an exact solution has either high complexity or cannot be solv...
متن کاملDual tableau for a multimodal logic for order of magnitude qualitative reasoning with bidirectional negligibility
The use of models to represent different scientific and engineering situations leads to qualitative reasoning as a good possibility when the traditional numerical methods are limited. Qualitative Reasoning (QR) provides an intermediate level between discrete and continuous models. A form of QR is to manage numerical data in terms of orders of magnitude (see, for example, [12, 14]). Two approach...
متن کامل